Addresses all necessary organization and architecture topics, but concise enough to be appropriate for a single-term course. ...
Lire la suiteThis book starts by reintroducing the database as a integral part of the software development ecosystem. You'll learn how ...
Lire la suiteExtreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Lire la suiteIn its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Lire la suiteThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
Lire la suiteThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lire la suiteBy presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Lire la suiteThis book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008.UNISCON ...
Lire la suiteProvides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming ...
Lire la suiteCombines clear explanations of data structure and algorithm theory with practical code samples, examples and exercises, all ...
Lire la suiteThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lire la suiteThis open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
Lire la suiteThis book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lire la suite